Demostración automática de teoremas

es

WikiRank.net
ver. 1.6

Demostración automática de teoremas

Qualité:

Démonstration automatique de théorèmes - procédé de démonstration par ordinateur. L'article "Demostración automática de teoremas" sur Wikipédia en espagnol a 14.5 points pour la qualité (au 1 août 2024). L'article contient 0 références et 10 sections.

Cet article a la meilleure qualité sur Wikipédia en anglais. De plus, cet article est le plus populaire dans cette version linguistique.

Depuis la création de l'article "Demostración automática de teoremas", son contenu a été rédigé par 35 utilisateurs enregistrés de Wikipédia en espagnol et édité par 433 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 51 fois dans Wikipédia en espagnol et cité 1209 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

  • Local (espagnol): n° 6625 en août 2008
  • Mondial: n° 159 en novembre 2001

Le classement de popularité le plus élevé depuis 2008:

  • Local (espagnol): n° 51454 en février 2010
  • Mondial: n° 76366 en août 2008

Il existe 18 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

Des langues de la plus haute qualité

#LangueNiveau de qualitéScore de qualité
1anglais (en)
Automated theorem proving
39.4863
2portugais (pt)
Prova automática de teoremas
34.3326
3japonais (ja)
自動定理証明
22.9521
4italien (it)
Dimostrazione automatica di teoremi
20.3953
5serbe (sr)
Automatsko dokazivanje teorema
20.1405
6espagnol (es)
Demostración automática de teoremas
14.509
7basque (eu)
Teoremen frogapen automatiko
11.4527
8polonais (pl)
Automatyczne dowodzenie twierdzeń
10.6672
9russe (ru)
Автоматическое доказательство
8.8433
10azerbaïdjanais (az)
Teoremlərin avtomatik sübutu
8.2056
Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Le plus populaire de tous les temps

Les versions linguistiques les plus populaires de l'article "Demostración automática de teoremas" dans tout le temps
#LanguePrix de popularitéPopularité relative
1anglais (en)
Automated theorem proving
1 013 140
2espagnol (es)
Demostración automática de teoremas
161 826
3japonais (ja)
自動定理証明
97 457
4russe (ru)
Автоматическое доказательство
84 998
5polonais (pl)
Automatyczne dowodzenie twierdzeń
64 193
6chinois (zh)
自動化定理證明
33 880
7français (fr)
Démonstration automatique de théorèmes
29 520
8portugais (pt)
Prova automática de teoremas
19 296
9italien (it)
Dimostrazione automatica di teoremi
11 984
10persan (fa)
اثبات قضیه خودکار
11 542
Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les plus populaires en juillet 2024

Les versions linguistiques les plus populaires de l'article "Demostración automática de teoremas" en juillet 2024
#LanguePrix de popularitéPopularité relative
1anglais (en)
Automated theorem proving
4 735
2japonais (ja)
自動定理証明
374
3russe (ru)
Автоматическое доказательство
227
4chinois (zh)
自動化定理證明
216
5espagnol (es)
Demostración automática de teoremas
118
6italien (it)
Dimostrazione automatica di teoremi
99
7français (fr)
Démonstration automatique de théorèmes
92
8polonais (pl)
Automatyczne dowodzenie twierdzeń
70
9persan (fa)
اثبات قضیه خودکار
58
10serbe (sr)
Automatsko dokazivanje teorema
56
Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Le plus grand IA

Versions linguistiques de l'article "Demostración automática de teoremas" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.
#LangueProx de IAIA relatif
1anglais (en)
Automated theorem proving
214
2espagnol (es)
Demostración automática de teoremas
35
3français (fr)
Démonstration automatique de théorèmes
27
4japonais (ja)
自動定理証明
27
5polonais (pl)
Automatyczne dowodzenie twierdzeń
25
6russe (ru)
Автоматическое доказательство
22
7italien (it)
Dimostrazione automatica di teoremi
19
8portugais (pt)
Prova automática de teoremas
16
9chinois (zh)
自動化定理證明
13
10ukrainien (uk)
Автоматизоване доведення теорем
9
Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Le plus grand IA en juillet 2024

Versions linguistiques de l'article "Demostración automática de teoremas" présentant le plus grand intérêt des auteurs en juillet 2024
#LangueProx de IAIA relatif
1serbe (sr)
Automatsko dokazivanje teorema
1
2azerbaïdjanais (az)
Teoremlərin avtomatik sübutu
0
3anglais (en)
Automated theorem proving
0
4espagnol (es)
Demostración automática de teoremas
0
5basque (eu)
Teoremen frogapen automatiko
0
6persan (fa)
اثبات قضیه خودکار
0
7français (fr)
Démonstration automatique de théorèmes
0
8arménien (hy)
Թեորեմների ավտոմատացված ապացուցում
0
9italien (it)
Dimostrazione automatica di teoremi
0
10japonais (ja)
自動定理証明
0
Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

L'indice de citation le plus élevé

Versions linguistiques de l'article "Demostración automática de teoremas" avec l'indice de citation (IC) le plus élevé
#LanguePrix ​​de ICIC relatif
1anglais (en)
Automated theorem proving
729
2chinois (zh)
自動化定理證明
75
3russe (ru)
Автоматическое доказательство
68
4japonais (ja)
自動定理証明
55
5français (fr)
Démonstration automatique de théorèmes
54
6espagnol (es)
Demostración automática de teoremas
51
7ukrainien (uk)
Автоматизоване доведення теорем
38
8polonais (pl)
Automatyczne dowodzenie twierdzeń
33
9portugais (pt)
Prova automática de teoremas
26
10persan (fa)
اثبات قضیه خودکار
23
Plus...

Scores

Valeur estimée pour Wikipédia:
espagnol:
Mondial:
Popularité en juillet 2024:
espagnol:
Mondial:
Popularité toutes les années:
espagnol:
Mondial:
Auteurs en juillet 2024:
espagnol:
Mondial:
Auteurs enregistrés en toutes années:
espagnol:
Mondial:
Citations:
espagnol:
Mondial:

Mesures de qualité

Liens interlingues

#LangueValeur
azazerbaïdjanais
Teoremlərin avtomatik sübutu
enanglais
Automated theorem proving
esespagnol
Demostración automática de teoremas
eubasque
Teoremen frogapen automatiko
fapersan
اثبات قضیه خودکار
frfrançais
Démonstration automatique de théorèmes
hyarménien
Թեորեմների ավտոմատացված ապացուցում
ititalien
Dimostrazione automatica di teoremi
jajaponais
自動定理証明
kocoréen
자동 정리 증명
plpolonais
Automatyczne dowodzenie twierdzeń
ptportugais
Prova automática de teoremas
rurusse
Автоматическое доказательство
srserbe
Automatsko dokazivanje teorema
ththaï
การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
trturc
Otomatik teorem kanıtlama
ukukrainien
Автоматизоване доведення теорем
zhchinois
自動化定理證明

Tendances du classement de popularité

Meilleur rang espagnol:
n° 51454
02.2010
Mondial:
n° 76366
08.2008

Tendances du classement des IA

Meilleur rang espagnol:
n° 6625
08.2008
Mondial:
n° 159
11.2001

Historique des IA rangs locaux

Historique des IA rangs mondiaux

Comparaison des langues

Interconnexions mondiales importantes

Résultats cumulatifs de qualité et de popularité de l'article Wikipédia

Liste des articles Wikipédia dans différentes langues (en commençant par le plus populaire):

Actualités du 20 décembre 2024

Au 20 décembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Magdebourg, Mufasa : Le Roi lion, Elon Musk, affaire des viols de Mazan, Gisèle Pelicot, Superman, Ayrton Senna, Isack Hadjar, décès en 2024, David Corenswet.

Sur Wikipédia en espagnol, les articles les plus populaires ce jour-là étaient: Cleopatra I de Egipto, Pablo Migliore, Margalida Castro, Rey Mysterio, Cien años de soledad, Silvia Alonso, Gisèle Pelicot, Rey Misterio Sr., Ayrton Senna, Sergio Martínez (boxeador).

À propos du WikiRank

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information